CurryHoward correspondence

Results: 45



#Item
41Theoretical computer science / Formal methods / Computer science / Software engineering / Logic in computer science / Dependently typed programming / Proof assistants / Proof-carrying code / Formal verification / Mathematical proof / CurryHoward correspondence / Algorithm

The Weird Machines in Proof-Carrying Code IEEE Security and Privacy LangSec Workshop 2014 Invited paper Julien Vanegue Bloomberg L.P. New York, USA.

Add to Reading List

Source URL: openwall.info

Language: English - Date: 2014-10-13 00:40:06
42Type theory / Algebraic geometry / Computability theory / Lambda calculus / Theoretical computer science / Role-based access control / Valuation / Subtyping / Monad / CurryHoward correspondence

Logical Methods in Computer Science Volume 00, Number 0, Pages 000–000 SXX λ -RBAC: PROGRAMMING WITH ROLE-BASED ACCESS CONTROL RADHA JAGADEESAN, ALAN JEFFREY, CORIN PITCHER, AND JAMES RIELY

Add to Reading List

Source URL: ect.bell-labs.com

Language: English - Date: 2010-12-15 21:38:34
43Logic / Mathematical logic / Proof theory / Abstraction / Non-classical logic / Sequent / NC / Linear logic / Constructible universe / CurryHoward correspondence / Natural deduction

Premises as Resources Johannes C. Flieger Scheme UK April 2003 Abstract Premises as resources; Weakening and Contraction; central notions

Add to Reading List

Source URL: schematics.sourceforge.net

Language: English - Date: 2005-05-20 05:14:15
44Proof theory / Mathematical logic / Logic / Mathematics / CurryHoward correspondence / Dependently typed programming / Logic in computer science / Philosophy of computer science / Type theory / Symbol / Sequent / Confidence interval

Logical Preliminaries Johannes C. Flieger Scheme UK March 2003 Abstract Survey of intuitionistic and classical propositional logic; introduction to the computational interpretation of intuitionistic logic in the

Add to Reading List

Source URL: schematics.sourceforge.net

Language: English - Date: 2005-05-20 05:14:17
45Logic / Mathematical logic / Proof theory / Abstraction / Non-classical logic / Sequent / NC / Linear logic / Constructible universe / CurryHoward correspondence / Natural deduction

Premises as Resources Johannes C. Flieger Scheme UK April 2003 Abstract Premises as resources; Weakening and Contraction; central notions

Add to Reading List

Source URL: schematics.sourceforge.net

Language: English - Date: 2005-05-20 05:14:15
UPDATE